A Functional I/O System ∗ or, Fun for Freshman Kids Matthias Felleisen Northeastern University Robert Bruce Findler

Source URL: www.ccs.neu.edu

• Unidentified flying object
• Ulsan National Institute of Science and Technology
• UFO
• JavaScript
• Computing
• Television
• Forteana
• Mysteries

Student Admissions Representative Positions Tell Us About You… Name ____________________________________________________________ (last) (first)

Source URL: www.umass.edu

• New England Association of Schools and Colleges
• Association of Public and Land-Grant Universities
• Cooperative education
• Northeastern University
• Pedagogy
• Rochester Institute of Technology
• Student exchange program
• Email
• Internship
• Education
• Academia
• Knowledge

Common Larceny William D Clinger Northeastern University [removed]

Source URL: www.cesura17.net

• Software engineering
• Four-square cipher
• Formosan languages
• Latin alphabets
• Computer programming
• Computing

Generational Garbage Collection and the Radioactive Decay Model William D Clinger and Lars T Hansen Northeastern University {will,lth}@ccs.neu.edu

Source URL: www.cesura17.net

• Computer programming
• Data types
• Garbage collection
• Pointer
• Garbage
• Object
• Region-based memory management
• Intergenerationality
• Computing
• Software engineering
• Memory management

Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu

Source URL: www.ccs.neu.edu

• Lisp programming language
• Holism
• ACL2
• Formal methods
• Model theory
• Automated theorem proving
• Nqthm
• Common Lisp
• Modular programming
• Software engineering
• Computer programming
• Computing

Functional Programming is Easy, and Good for You Matthias Felleisen (PLT) Northeastern University I am not a salesman.

Source URL: www.ccs.neu.edu

Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University

Source URL: www.ccs.neu.edu

• Data types
• Type theory
• Functional languages
• Computer arithmetic
• Program analysis
• Type system
• Subtype polymorphism
• Floating point
• C++ classes
• Software engineering
• Computing
• Programming language theory

Processing Moving kNN Queries Using Influential Neighbor Sets Chuanwen Li1 , Yu Gu1 , Jianzhong Qi2 , Ge Yu1 , Rui Zhang2 , Wang Yi1 1 College of Information Science and Engineering, Northeastern University, China

Source URL: www.vldb.org

• Geometry
• Diagrams
• Search algorithms
• Computational geometry
• Voronoi diagram
• Mathematical optimization
• K-nearest neighbor algorithm
• Nearest neighbor search
• 0O
• Information science
• Mathematics
• Discrete geometry

Nested and Dynamic Contract Boundaries? T. Stephen Strickland and Matthias Felleisen PLT @ Northeastern University {sstrickl,matthias}@ccs.neu.edu Abstract. Previous work on software contracts assumes fixed and statical

Source URL: www.ccs.neu.edu

• Holism
• Functional languages
• Contract law
• Racket
• Design by contract
• Modularity
• Scheme
• Contract
• External variable
• Software engineering
• Computer programming
• Computing

Debugging Macros Ryan Culpepper Matthias Felleisen Northeastern University

Source URL: www.ccs.neu.edu

• Functional languages
• Lisp programming language
• Transformation languages
• Programming language implementation
• Procedural programming languages
• Macro
• Hygienic macro
• Common Lisp
• Racket
• Software engineering
• Computing
• Computer programming